Asymptotic Cyclic Expansion and Bridge Groups of Formal Proofs

Asymptotic Cyclic Expansion and Bridge Groups of Formal Proofs

Formal proofs, even simple ones, may hide an unexpected intricate combinatorics. We define a new combinatorial invariant, the bridge group of a proof, which encodes the cyclic structure of proofs in the sequent calculus. We compute the bridge groups of two infinite families of proofs and identify them with the Baumslag–Solitar and Gersten groups. We observe that the distortion of cyclic subgrou...

asymptotic property of order statistics and sample quntile

چکیده: فرض کنید که تابعی از اپسیلون یک مجموع نامتناهی از احتمالات موزون مربوط به مجموع های جزئی براساس یک دنباله از متغیرهای تصادفی مستقل و همتوزیع باشد، و همچنین فرض کنید توابعی مانند g و h وجود دارند که هرگاه امید ریاضی توان دوم x متناهی و امیدریاضی x صفر باشد، در این صورت می توان حد حاصلضرب این توابع را بصورت تابعی از امید ریاضی توان دوم x نوشت. حالت عکس نیز برقرار است. همچنین ما با استفاده...

0 On the asymptotic geometry of abelian - by - cyclic groups ∗

On the asymptotic geometry of abelian-by-cyclic groups

Gromov’s Polynomial Growth Theorem [Gro81] states that the property of having polynomial growth characterizes virtually nilpotent groups among all finitely generated groups. Gromov’s theorem inspired the more general problem (see, e.g. [GdlH91]) of understanding to what extent the asymptotic geometry of a finitelygenerated solvable group determines its algebraic structure—in short, are solvable...

commuting and non -commuting graphs of finit groups

فرض کنیمg یک گروه غیر آبلی متناهی باشد . گراف جابجایی g که با نماد نمایش داده می شود ،گرافی است ساده با مجموعه رئوس که در آن دو راس با یک یال به هم وصل می شوند اگر و تنها اگر . مکمل گراف جابجایی g راگراف نا جابجایی g می نامیم.و با نماد نشان می دهیم. گرافهای جابجایی و ناجابجایی یک گروه متناهی ،اولین بار توسطاردوش1 مطرح گردید ،ولی در سالهای اخیر به طور مفصل در مورد بحث و بررسی قرار گرفتند . در ،م...